Saddek Bensalem: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Rigorous design of robot software: A formal component-based approach

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Felix Ingrand

Journal:

Robotics and Autonomous Systems

Year:

2012

Language:

english

File:

PDF, 2.10 MB

english, 2012

2

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

Giannopoulou, Georgia, Poplavko, Peter, Socci, Dario, Huang, Pengcheng, Stoimenov, Nikolay, Bourgos, Paraskevas, Thiele, Lothar, Bozga, Marius, Bensalem, Saddek, Girbal, Sylvain, Faugere, Madeleine, S

Journal:

Design Automation for Embedded Systems

Year:

2018

Language:

english

File:

PDF, 2.20 MB

english, 2018

3

[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Systems and Automation (CISA 08) - Annaba (Algeria) (30 June–2 July 2008)] AIP Conference Proceedings - Automatic Generation of Observers for the Dala Robot with TTG

Bensalem, Saddek, Bozga, Marius, Gallien, Matthieu, Ingrand, François Félix, Krichen, Moez, Tripakis, Stavros, Arioui, Hichem, Merzouki, Rochdi, Abbassi, Hadj Ahmed

Year:

2008

Language:

english

File:

PDF, 1.40 MB

english, 2008

4

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Time-predictable and composable architectures for dependable embedded systems

Bensalem, Saddek, Goossens, Kees, Kirsch, Christoph M., Obermaisser, Roman, Lee, Edward A., Sifakis, Joseph

Year:

2011

Language:

english

File:

PDF, 297 KB

english, 2011

5

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm

Guesmi, Hela, Ben Hedia, Belgacem, Bliudze, Simon, Bensalem, Saddek, Lenabec, Briag

Journal:

Innovations in Systems and Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.80 MB

english, 2018

6

[IEEE 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Budva, Montenegro (2020.6.8-2020.6.11)] 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Fog Computing and Blockchain for Massive IoT Deployment

Baouya, Abdelhakim, Chehida, Salim, Bensalem, Saddek, Bozga, Marius

Year:

2020

File:

PDF, 544 KB

2020

7

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Year:

2018

Language:

english

File:

PDF, 2.09 MB

english, 2018

8

Verification and validation meet planning and scheduling

Bensalem, Saddek, Havelund, Klaus, Orlandini, Andrea

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 283 KB

english, 2014

9

ASTROLABE

Nouri, Ayoub, Bozga, Marius, Molnos, Anca, Legay, Axel, Bensalem, Saddek

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2016

Language:

english

File:

PDF, 1.64 MB

english, 2016

10

Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems

Gioulekas, Fotios, Poplavko, Peter, Katsaros, Panagiotis, Bensalem, Saddek, Palomo, Pedro

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 487 KB

english, 2019

11

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Incremental Generation of Linear Invariants for Component-Based Systems

Bensalem, Saddek, Bozga, Marius, Boyer, Benoit, Legay, Axel

Year:

2013

Language:

english

File:

PDF, 557 KB

english, 2013

12

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Falcone, Yliès, Jaber, Mohamad, Nguyen, Thanh-Hung, Bozga, Marius, Bensalem, Saddek

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

13

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Incremental Invariant Generation for Compositional Design

Bensalem, Saddek, Legay, Axel, Nguyen, Thanh-Hung, Sifakis, Joseph, Yan, Rongjie

Year:

2010

Language:

english

File:

PDF, 459 KB

english, 2010

14

[IEEE 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - A Timed-Automata Based Middleware for Time-Critical Multicore Applications

Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius

Year:

2015

Language:

english

File:

PDF, 969 KB

english, 2015

15

[IEEE 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Budva, Montenegro (2020.6.8-2020.6.11)] 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Exploration of Impactful Countermeasures on IoT Attacks

Chehida, Salim, Baouya, Abdelhakim, Bozga, Marius, Bensalem, Saddek

Year:

2020

File:

PDF, 298 KB

2020

16

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - State identification problems for input/output transition systems

Saddek Bensalem,, Moez Krichen,, Stavros Tripakis,

Year:

2008

Language:

english

File:

PDF, 224 KB

english, 2008

17

[ACM Press the WESE'15: Workshop - Amsterdam, Netherlands (2015.10.04-2015.10.09)] Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education - WESE'15 - Education and training challenges in the era of Cyber-Physical Systems

Törngren, Martin, Bensalem, Saddek, McDermid, John, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto, Schätz, Bernhard

Year:

2015

Language:

english

File:

PDF, 69 KB

english, 2015

18

Statistical model checking QoS properties of systems with SBIP

Nouri, Ayoub, Bensalem, Saddek, Bozga, Marius, Delahaye, Benoit, Jegourel, Cyrille, Legay, Axel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

19

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Optimized distributed implementation of timed component-based systems

Triki, Ahlem, Combaz, Jacques, Bensalem, Saddek

Year:

2015

Language:

english

File:

PDF, 322 KB

english, 2015

20

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || A Protocol for Constraint Automata Execution in a Synchronous Network of Processors

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Year:

2018

Language:

english

File:

PDF, 435 KB

english, 2018

21

[ACM Press the 26th International Conference - Chasseneuil-du-Poitou, France (2018.10.10-2018.10.12)] Proceedings of the 26th International Conference on Real-Time Networks and Systems - RTNS '18 - Algorithmic Complexity of Correctness Testing in MC-Scheduling

Kahil, Rany, Socci, Dario, Poplavko, Peter, Bensalem, Saddek

Year:

2018

Language:

english

File:

PDF, 938 KB

english, 2018

22

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Efficient deadlock detection for concurrent systems

Bensalem, Saddek, Griesmayer, Andreas, Legay, Axel, Nguyen, Thanh-Hung, Peled, Doron

Year:

2011

Language:

english

File:

PDF, 755 KB

english, 2011

23

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || Improving Parallel State-Space Exploration Using Genetic Algorithms

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Year:

2018

Language:

english

File:

PDF, 402 KB

english, 2018

24

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1015 KB

english, 2012

25

[IEEE 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) - Agios konstantinos, Samos Island, Greece (2013.07.15-2013.07.18)] 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Stochastic modeling and performance analysis of multimedia SoCs

Raman, Balaji, Nouri, Ayoub, Gangadharan, Deepak, Bozga, Marius, Basu, Ananda, Maheshwari, Mayur, Legay, Axel, Bensalem, Saddek, Chakraborty, Samarjit

Year:

2013

Language:

english

File:

PDF, 748 KB

english, 2013

26

[IEEE 2015 IEEE Sensors Applications Symposium (SAS) - Zadar, Croatia (2015.4.13-2015.4.15)] 2015 IEEE Sensors Applications Symposium (SAS) - Building distributed sensor network applications using BIP

Lekidis, Alexios, Bourgos, Paraskevas, Djoko-Djoko, Simplice, Bozga, Marius, Bensalem, Saddek

Year:

2015

Language:

english

File:

PDF, 898 KB

english, 2015

27

Testing Conformance of Real-Time Applications by Automatic Generation of Observers

Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 381 KB

english, 2005

28

Optimized distributed implementation of multiparty interactions with Restriction

Bensalem, Saddek, Bozga, Marius, Quilbeuf, Jean, Sifakis, Joseph

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.48 MB

english, 2015

29

[IEEE 2015 IEEE 17th International Conference on High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS) and 2015 IEEE 12th International Conf on Embedded Software and Systems (ICESS) - New York, NY, USA (2015.8.24-2015.8.26)] 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems - Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms

Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius

Year:

2015

Language:

english

File:

PDF, 197 KB

english, 2015

30

Maximal software execution time: a regression-based approach

Nouri, Ayoub, Poplavko, Peter, Angelis, Lefteris, Zerzelidis, Alexandros, Bensalem, Saddek, Katsaros, Panagiotis

Journal:

Innovations in Systems and Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.20 MB

english, 2018

31

[IEEE 2014 10th IEEE Workshop on Factory Communication Systems (WFCS) - Toulouse, France (2014.5.5-2014.5.7)] 2014 10th IEEE Workshop on Factory Communication Systems (WFCS 2014) - Model-based validation of CANopen systems

Lekidis, Alexios, Bozga, Marius, Bensalem, Saddek

Year:

2014

Language:

english

File:

PDF, 424 KB

english, 2014

32

[ACM Press the 2nd edition - Tucson, Arizona, USA (2012.10.21-2012.10.22)] Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions - AGERE! '12 - Distributed priority synthesis using knowledge

Cheng, Chih-Hong, Yan, Rongjie, Ruess, Harald, Bensalem, Saddek

Year:

2012

Language:

english

File:

PDF, 546 KB

english, 2012

33

Priority scheduling of distributed systems based on model checking

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 595 KB

english, 2011

34

[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - Building faithful high-level models and performance evaluation of manycore embedded systems

Nouri, Ayoub, Bozga, Marius, Molnos, Anca, Legay, Axel, Bensalem, Saddek

Year:

2014

Language:

english

File:

PDF, 798 KB

english, 2014

35

[IEEE 2017 24th Asia-Pacific Software Engineering Conference (APSEC) - Nanjing (2017.12.4-2017.12.8)] 2017 24th Asia-Pacific Software Engineering Conference (APSEC) - Knowledge Based Optimization for Distributed Real-Time Systems

Dellabani, Mahieddine, Combaz, Jacques, Bensalem, Saddek, Bozga, Marius

Year:

2017

Language:

english

File:

PDF, 309 KB

english, 2017

36

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) ||

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Year:

2018

Language:

english

File:

PDF, 11.08 MB

english, 2018

37

Automatic generation of path conditions for concurrent timed systems

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.19 MB

english, 2008

38

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - Confirmation of deadlock potentials detected by runtime analysis

Bensalem, Saddek, Fernandez, Jean-Claude, Havelund, Klaus, Mounier, Laurent

Year:

2006

Language:

english

File:

PDF, 240 KB

english, 2006

39

Performance evaluation of stochastic real-time systems with the SBIP framework

Nouri, Ayoub, Mediouni, Braham Lotfi, Bozga, Marius, Combaz, Jacques, Bensalem, Saddek, Legay, Axel

Journal:

International Journal of Critical Computer-Based Systems

Year:

2018

File:

PDF, 1.66 MB

2018

40

Rigorous embedded design: challenges and perspectives

Saddek Bensalem, Axel Legay, Marius Bozga

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 124 KB

english, 2013

41

[IEEE 2013 25th Euromicro Conference on Real-Time Systems (ECRTS) - Los Alamitos, CA, USA (2013.07.9-2013.07.12)] 2013 25th Euromicro Conference on Real-Time Systems - Mixed Critical Earliest Deadline First

Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius

Year:

2013

Language:

english

File:

PDF, 348 KB

english, 2013

42

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs

Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius

Year:

2015

Language:

english

File:

PDF, 452 KB

english, 2015

43

Automatic Generation of Invariants

Saddek Bensalem, Yassine Lakhnech

Journal:

Formal Methods in System Design

Year:

1999

Language:

english

File:

PDF, 100 KB

english, 1999

44

Component-based verification using incremental design and invariants

Bensalem, Saddek, Bozga, Marius, Legay, Axel, Nguyen, Thanh-Hung, Sifakis, Joseph, Yan, Rongjie

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

45

[IEEE 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Hakodate (2018.8.28-2018.8.31)] 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Predictability in Mixed-Criticality Systems

Kahil, Rany, Poplavko, Peter, Socci, Dario, Bensalem, Saddek

Year:

2018

File:

PDF, 8 KB

2018

46

[Lecture Notes in Computer Science] From Programs to Systems. The Systems perspective in Computing Volume 8415 || Steps towards Scenario-Based Programming with a Natural Language Interface

Bensalem, Saddek, Lakhneck, Yassine, Legay, Axel

Year:

2014

Language:

english

File:

PDF, 246 KB

english, 2014

47

[ACM Press the 2nd edition - Tucson, Arizona, USA (2012.10.21-2012.10.22)] Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions - AGERE! '12 - Optimized distributed implementation of multiparty interactions with observation

Bensalem, Saddek, Bozga, Marius, Quilbeuf, Jean, Sifakis, Joseph

Year:

2012

Language:

english

File:

PDF, 504 KB

english, 2012

48

[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Models for Deterministic Execution of Real-Time Multiprocessor Applications

Poplavko, Peter, Socci, Dario, Bourgos, Paraskevas, Bensalem, Saddek, Bozga, Marius

Year:

2015

Language:

english

File:

PDF, 271 KB

english, 2015

49

Distinguishing extended finite state machine configurations using predicate abstraction

El-Fakih, Khaled, Yevtushenko, Nina, Bozga, Marius, Bensalem, Saddek

Journal:

Journal of Software Engineering Research and Development

Year:

2016

Language:

english

File:

PDF, 1.59 MB

english, 2016

50

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || Toward Implicit Learning for the Compositional Verification of Markov Decision Processes

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Year:

2018

Language:

english

File:

PDF, 493 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски